Pompe d'assèchement (n.f.)